
kernel_library()

kernel_library_sources(irqchip.c)

kernel_library_sources_ifdef(
  CONFIG_ARM_GIC
  irq-gic.c irq-gic-common.c
)

kernel_library_sources_ifdef(
  CONFIG_ARM_GIC_V3
  irq-gic-v3.c irq-gic-common.c
)
